定积分不等式的几种典型证法

介绍定积分不等式的几种典型证法。     

多元函数条件最值的分离参数解法

提出了一种多元函数条件最值的分离参数解法,简化了超越函数条件最值的求解过程,并举例说明了分离参数解法的应用.     

考虑光行时校正的高精度全球导航卫星系统测速算法

全球导航卫星系统（GNSS）测速算法认为多普勒测量值为接收机与GNSS卫星的相对运动速度在视线方向上的投影，未考虑光行时的影响，存在一个微小的系统性偏差，测速精度不高，限制了其在精密测速领域中的应用。在传统的GNSS测速算法基础上，给出了一至三阶的积分多普勒插值算法，用瞬时多普勒替代了平均多普勒，对于低轨道地球卫星（LEO）用户，使用二阶插值积分多普勒的测速精度较使用平均多普勒的测速精度提升了三个数量级；另一方面考虑了光行时的影响，修正了因收发时刻不一致引入的多普勒偏差，并分别给出了地球惯性坐标系（ECI）和地球固连坐标系（ECEF）下的修正算法，实验结果表明，光行时修正算法降低了系统性偏差，三维速度误差的均方根（RMS）降低至3.3 mm·s^-1，能够满足高精度测速的应用需求。     

ON VECTOR OPTIMIZATION WHEN THE ORDERING CONE HAS AN EMPTY INTERIOR

1.IntroductionLetXbeavectorspace,Ybeatopologicalvectorspace,Zbealocallyconvexspace,andletthetopologicaldualspacesofYandZbedenotedbyY*andZ*,respectively.LetCbeapointedconvexconeinYandKbeaclosedconvexpointedconeinZ.ThedualconesofCandKaredefinedasrespec...     

关于Lagrange中值定理证明的一个注记

利用具体的例子否定了“Lagrange 中值定理的证明由 Rolle 中值定理通过旋转适当的角度可得到”的说法.     

非线性规划弱增广 Lagrange 函数变度量法

对一般的非线性规划问题给出了弱增广的Ｌａｇｒａｎｇｅ函数，利用变度量法求得下降方向，从而将原问题转化为一维极小化问题，再通过一维搜索求得问题的解，并证明了此方法的收敛性．     

G^1空间的乘子

给出了 G1 空间到 Gq(1≤ q<∞ )、Hq(1≤ q<∞ )、Aq(1≤ q<∞ )、Bq(0 相似文献   

紧致不变集合邻域内Lagrange稳定运动的存在性

本文研究n维欧氏空间中动力系统奇点邻域以及紧致不变集合邻域内Lagrange稳定运动的存在性问题。     

多项式插值理论的某些进展和问题（Ⅰ）：Lagrange插值及Hermite插值

本文对 Lagrange 及 Hermite 多项式实插值理论近几年的研究情况进行了详细分析及总结,并且提出了23个可供研究的问题及几个猜测。     

虚拟区域法及其在流体力学中的应用

讨论了一类椭圆型算子Dirichlet问题的一种基于Lagrange乘子的虚拟区域方法;由此导出的鞍点问题用共轭梯度法迭代求解.为加速迭代收敛,构建了合适的预处理器.着重考虑了这种方法在不可压粘性流动数值模拟中的应用.通过基于算子分裂的劋laMarchukYanenko时间离散格式,将虚拟区域情形下的不可压NavierStokes方程分裂成非线性对流扩散方程、准Stokes方程和虚拟区域情形下的线性椭圆型方程三个子问题.给出了绕固定和运动圆二维流动的数值实验结果.